#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <string.h>
#include <spinlock.h>
#include <cpu.h>
#include <wfi.h>
#include <plat.h>

#include <log.h>

void do_call_test_cases(void);

int main(void)
{
    if(cpu_is_master()){
        INFO("Bare-metal test (Built at %s %s)\n",__DATE__,__TIME__);

        do_call_test_cases();
    }

    while(1) wfi();


    /* This point should never be reached */
    return 0;
}
